EN FR
EN FR




Section: Dissemination

Teaching and supervision

Teaching

Nathalie Bertrand

  • Master : Advanced model-checking, 8h, niveau M2, ISTIC, Université de Rennes 1, France.

  • Agrégation : Langages formels, 16h, niveau M2, ENS Cachan antenne de Bretagne, France.

Sébastien Chédor

  • Licence : Java (TD-TP), 40h, niveau L1, ISTIC, Université de Rennes 1, France.

                    Scheme (TP), 20h, niveau L1, ISTIC, Université de Rennes 1, France.

                    Java (TP), 20h, niveau L2, ISTIC, Université de Rennes 1, France.

                    Programmation (TP), 20h, niveau L3, ENS-Cachan-Antenne de Bretagne, France.

                    Initiation à LaTeX (Cours), 5h, niveau L3, ENS-Cachan-Antenne de Bretagne, France.

Thierry Jéron

  • Master : Testing of timed systems, 4h, niveau M2, ISTIC, Université de Rennes 1, France.

                    Testing of timed systems, 4h, niveau M2, ESIR, Université de Rennes 1, France.

Christophe Morvan

  • Licence : Object Oriented programming with Java, 192h, niveau L2, Université de Marne-la-Vallée, France.

Amélie Stainer

  • Licence : Java (Cours-TD-TP), 42h, niveau L1, INSA-Rennes, France.

                    Scheme (TP), 14h, niveau L1, INSA-Rennes, France.

                    Modélisation de structures de données (TP), 20h, niveau L3, INSA-Rennes, France.

  • Agrégation : Modélisation (Cours), 13h, niveau M2, ENS-Cachan-Antenne de Bretagne, France.

                   Oraux blancs de mathématiques et de modélisation, 24h, niveau M2, ENS-Cachan-Antenne de Bretagne, France.

                   Préparation de leçons d'informatique, 12h, niveau M2, ENS-Cachan-Antenne de Bretagne, France.

PhD

  • PhD in progress: Sébastien Chédor, Verification and test of systems modeled by regular graphs, started in September 2009, supervised by Christophe Morvan and Thierry Jéron.

  • PhD in progress: Amélie Stainer, Quantitative verification of timed automata, started in October 2010, supervised by Nathalie Bertrand and Thierry Jéron.

  • PhD in progress: Srinivas Pinisetty, Runtime validation of critical control-command systems, started in December 2011, supervised by Hervé Marchand and Thierry Jéron.